Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 22 Jan 2026 22:10:02 +0000 (23:10 +0100)
committerMoritz Muehlenhoff <jmm@debian.org>
Thu, 22 Jan 2026 22:10:02 +0000 (23:10 +0100)
commit5b81f5d06020de5f44b985e06ca1ffe901d6b968
treefc01bccc74776656e0e80baf35224683edf09dbc
parent206b3756e294663063db698120e654891880d44f
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java